Roopsha Samanta Assistant Professor Department of Computer Science Purdue University Í

Source URL: www.cs.purdue.edu

• Theoretical computer science
• Computing
• Computer science
• Symposium on Principles of Programming Languages
• Electronic design automation
• Formal methods
• Logic in computer science
• Computer Aided Verification
• Helmut Veith
• High-level synthesis
• Formal verification
• Computer music

LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

• Information theory
• Statistical theory
• Mathematics
• Mathematical analysis
• Entropy
• Mutual information
• Expected value
• Confidence interval
• Information flow
• Binomial distribution
• Conditional entropy
• Quantities of information

TRecSo: Enhancing Top-k Recommendation With Social Information ∗ Chanyoung Park, Donghyun Kim, Jinoh Oh, Hwanjo Yu† Dept. of Computer Science and Engineering

Source URL: gdac.uqam.ca

• Information science
• Collective intelligence
• Recommender systems
• Information retrieval
• Collaboration
• Social information processing
• Information systems
• Collaborative filtering
• Matrix factorization
• Machine learning
• Personalization

On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Mathematics
• Probability and statistics
• Determinacy
• Stochastic game
• Strategy
• Markov chain
• Stochastic process
• Support
• Mathematical optimization
• Statistical model

A Breadth-First Course in Multicore and Manycore Programming Suzanne Rivoire Sonoma State University Department of Computer Science

Source URL: rivoire.cs.sonoma.edu

• Concurrent computing
• Parallel computing
• Computing
• Computer programming
• Manycore processor
• Data parallelism
• General-purpose computing on graphics processing units
• Parallel programming model
• Multi-core processor
• Thread
• CUDA
• OpenMP

EECS 388 Intro to Computer Security September 16, 2016 Homework 2: Cryptanalysis

Source URL: www.eecs.umich.edu

• Cryptography
• Stream ciphers
• Vigenre cipher
• Ciphertext
• Cryptanalysis
• Caesar cipher

SIGCSE 2011 Poster Proposal: Universal Design for Learning in CS1 Suzanne Rivoire Department of Computer Science Sonoma State University, Rohnert Park, CA, USA

Source URL: rivoire.cs.sonoma.edu

• Education
• Learning
• Human behavior
• Pedagogy
• Segregation
• Educational psychology
• Higher education
• Universal Design for Learning
• Philosophy of education
• Educational technology
• Inclusion
• Accessibility

Expected Reachability-Time Games Vojtˇech Forejta , Marta Kwiatkowskaa , Gethin Normanb , Ashutosh Trivedic a Department of Computer Science, University of Oxford, UK. of Computing Science, University of Glasgow, UK.

Source URL: qav.comlab.ox.ac.uk

Application Power Signature Analysis Chung-Hsing Hsu∗ , Jacob Combs† , Jolie Nazor† , Fabian Santiago† , Rachelle Thysell† , Suzanne Rivoire† and Stephen W. Poole∗ ∗ Computer Science and Mathematics Divi

Source URL: rivoire.cs.sonoma.edu

• Cluster analysis
• Data mining
• Geostatistics
• Hierarchical clustering
• Data analysis
• Information science
• Principal component analysis
• Computational statistics
• Document clustering
• K-means clustering

An abridged version of this paper appears in Advances in Cryptology – Crypto 96 Proceedings, Lecture Notes in Computer Science Vol. 1109, N. Koblitz ed., Springer-Verlag, 1996. Keying Hash Functions for Message Authent

Source URL: cseweb.ucsd.edu

• Cryptography
• Cryptographic hash functions
• HMAC
• Message authentication code
• Hash function
• Collision attack
• MD5
• Collision resistance
• SHA-1
• Crypt
• One-way compression function
• Security of cryptographic hash functions